class DoubleType
!!!182786.cpp!!!	DoubleType()



!!!182914.cpp!!!	~DoubleType()


!!!183042.cpp!!!	accept(inout v : ) : void

	v->VisitDoubleType(this);
!!!183170.cpp!!!	clone() : DoubleType

	return (new DoubleType);
!!!183298.cpp!!!	toString() : string

	return "double";
